$\forall$$A$,$B$:Type, $f$:($A$$\rightarrow$$B$), $l$:($A$ List). map($f$; $l$) $\in$ ($B$ List)